Symbolic execution

Results: 153



#Item
11

SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2013-12-12 08:42:01
    12

    A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d

    Add to Reading List

    Source URL: webblaze.cs.berkeley.edu

    Language: English - Date: 2014-11-17 18:57:29
      13

      SymNet: scalable symbolic execution for modern networks Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest Splaiul Independentei 313, Bucharest, Romania

      Add to Reading List

      Source URL: nets.cs.pub.ro

      Language: English - Date: 2016-07-20 11:18:40
        14

        Accelerating Array Constraints in Symbolic Execution David M. Perry∗ Andrea Mattavelli Xiangyu Zhang

        Add to Reading List

        Source URL: srg.doc.ic.ac.uk

        - Date: 2017-05-19 12:23:50
          15

          Symbolic Types for Lenient Symbolic Execution

          Add to Reading List

          Source URL: www.ccs.neu.edu

          - Date: 2017-12-12 10:22:57
            16

            Mixing Type Checking and Symbolic Execution Khoo Yit Phang Bor-Yuh Evan Chang Jeffrey S. Foster

            Add to Reading List

            Source URL: www.cs.colorado.edu

            - Date: 2017-05-01 12:25:34
              17

              Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus Cristian Cadar

              Add to Reading List

              Source URL: srg.doc.ic.ac.uk

              - Date: 2017-10-24 05:39:23
                18

                Chopped Symbolic Execution David Trabish Andrea Mattavelli Noam Rinetzky

                Add to Reading List

                Source URL: srg.doc.ic.ac.uk

                - Date: 2018-02-19 14:22:13
                  19

                  Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo

                  Add to Reading List

                  Source URL: srg.doc.ic.ac.uk

                  - Date: 2017-10-17 05:46:31
                    20

                    Symbolic Types for Lenient Symbolic Execution

                    Add to Reading List

                    Source URL: homes.cs.washington.edu

                    - Date: 2017-12-12 13:01:34
                      UPDATE